Conceitos sem fronteiras: Frege e Wittgenstein

Frege, Russell and Wittgenstein

Frege, Russell and Wittgenstein were founders (although not by any means the sole founders) of the analytic tradition in philosophy; but they did not found the philosophy of language, which has roots stretching back much further. Their principal contribution, indeed, could be regarded as being in the opposite direction: it is not so much that they applied philosophical methods to the study of l...

Elucidation and Nonsense in Frege and Early Wittgenstein

This paper is excerpted from a manuscript in which James Conant argues that Wittgenstein’s famous closing description of sentences of the Tractatus as nonsensical draws on a conception of nonsense at odds with the conceptions at play in a couple of standard interpretations. Conant describes these interpretations as (i) positivist interpretations which depict Wittgenstein as furnishing a method ...

Putting Form Before Function: Logical Grammar in Frege, Russell, and Wittgenstein

Philosophers' Imprint Volume 4, No. 2 August 2004 ©2004 Kevin C. Klement §

Frege Systems

Propositional Proofs in Frege and Extended Frege Systems (Abstract)

We discuss recent results on the propositional proof complexity of Frege proof systems, including some recently discovered quasipolynomial size proofs for the pigeonhole principle and the Kneser-Lovász theorem. These are closely related to formalizability in bounded arithmetic.